extension | φ:Q→Out N | d | ρ | Label | ID |
(C5xC22:C4).1C22 = C24.56D10 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 80 | | (C5xC2^2:C4).1C2^2 | 320,1258 |
(C5xC22:C4).2C22 = C24.32D10 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 80 | | (C5xC2^2:C4).2C2^2 | 320,1259 |
(C5xC22:C4).3C22 = C24.35D10 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 80 | | (C5xC2^2:C4).3C2^2 | 320,1265 |
(C5xC22:C4).4C22 = C24.36D10 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 80 | | (C5xC2^2:C4).4C2^2 | 320,1267 |
(C5xC22:C4).5C22 = C20:(C4oD4) | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).5C2^2 | 320,1268 |
(C5xC22:C4).6C22 = C10.682- 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).6C2^2 | 320,1269 |
(C5xC22:C4).7C22 = Dic10:19D4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).7C2^2 | 320,1270 |
(C5xC22:C4).8C22 = Dic10:20D4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).8C2^2 | 320,1271 |
(C5xC22:C4).9C22 = C4:C4.178D10 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).9C2^2 | 320,1272 |
(C5xC22:C4).10C22 = C10.342+ 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).10C2^2 | 320,1273 |
(C5xC22:C4).11C22 = C10.352+ 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).11C2^2 | 320,1274 |
(C5xC22:C4).12C22 = C10.362+ 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).12C2^2 | 320,1275 |
(C5xC22:C4).13C22 = C10.392+ 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).13C2^2 | 320,1280 |
(C5xC22:C4).14C22 = C10.732- 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).14C2^2 | 320,1283 |
(C5xC22:C4).15C22 = C10.432+ 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).15C2^2 | 320,1286 |
(C5xC22:C4).16C22 = C10.442+ 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).16C2^2 | 320,1287 |
(C5xC22:C4).17C22 = C10.452+ 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).17C2^2 | 320,1288 |
(C5xC22:C4).18C22 = C10.1152+ 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).18C2^2 | 320,1290 |
(C5xC22:C4).19C22 = C10.472+ 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).19C2^2 | 320,1291 |
(C5xC22:C4).20C22 = C10.742- 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).20C2^2 | 320,1293 |
(C5xC22:C4).21C22 = (Q8xDic5):C2 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).21C2^2 | 320,1294 |
(C5xC22:C4).22C22 = C10.502+ 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).22C2^2 | 320,1295 |
(C5xC22:C4).23C22 = C22:Q8:25D5 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).23C2^2 | 320,1296 |
(C5xC22:C4).24C22 = C10.152- 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).24C2^2 | 320,1297 |
(C5xC22:C4).25C22 = D5xC22:Q8 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 80 | | (C5xC2^2:C4).25C2^2 | 320,1298 |
(C5xC22:C4).26C22 = C4:C4:26D10 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 80 | | (C5xC2^2:C4).26C2^2 | 320,1299 |
(C5xC22:C4).27C22 = C10.162- 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).27C2^2 | 320,1300 |
(C5xC22:C4).28C22 = C10.172- 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).28C2^2 | 320,1301 |
(C5xC22:C4).29C22 = D20:21D4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 80 | | (C5xC2^2:C4).29C2^2 | 320,1302 |
(C5xC22:C4).30C22 = D20:22D4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).30C2^2 | 320,1303 |
(C5xC22:C4).31C22 = Dic10:21D4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).31C2^2 | 320,1304 |
(C5xC22:C4).32C22 = Dic10:22D4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).32C2^2 | 320,1305 |
(C5xC22:C4).33C22 = C10.512+ 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 80 | | (C5xC2^2:C4).33C2^2 | 320,1306 |
(C5xC22:C4).34C22 = C10.1182+ 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).34C2^2 | 320,1307 |
(C5xC22:C4).35C22 = C10.522+ 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).35C2^2 | 320,1308 |
(C5xC22:C4).36C22 = C10.532+ 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 80 | | (C5xC2^2:C4).36C2^2 | 320,1309 |
(C5xC22:C4).37C22 = C10.202- 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).37C2^2 | 320,1310 |
(C5xC22:C4).38C22 = C10.212- 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).38C2^2 | 320,1311 |
(C5xC22:C4).39C22 = C10.222- 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).39C2^2 | 320,1312 |
(C5xC22:C4).40C22 = C10.232- 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).40C2^2 | 320,1313 |
(C5xC22:C4).41C22 = C10.772- 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).41C2^2 | 320,1314 |
(C5xC22:C4).42C22 = C10.242- 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).42C2^2 | 320,1315 |
(C5xC22:C4).43C22 = C10.562+ 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 80 | | (C5xC2^2:C4).43C2^2 | 320,1316 |
(C5xC22:C4).44C22 = C10.572+ 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).44C2^2 | 320,1317 |
(C5xC22:C4).45C22 = C10.582+ 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).45C2^2 | 320,1318 |
(C5xC22:C4).46C22 = C10.262- 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).46C2^2 | 320,1319 |
(C5xC22:C4).47C22 = C10.792- 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).47C2^2 | 320,1320 |
(C5xC22:C4).48C22 = C4:C4.197D10 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).48C2^2 | 320,1321 |
(C5xC22:C4).49C22 = C10.802- 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).49C2^2 | 320,1322 |
(C5xC22:C4).50C22 = C10.812- 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).50C2^2 | 320,1323 |
(C5xC22:C4).51C22 = C10.822- 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).51C2^2 | 320,1327 |
(C5xC22:C4).52C22 = C10.632+ 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).52C2^2 | 320,1332 |
(C5xC22:C4).53C22 = C10.642+ 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).53C2^2 | 320,1333 |
(C5xC22:C4).54C22 = C10.842- 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).54C2^2 | 320,1334 |
(C5xC22:C4).55C22 = C10.662+ 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).55C2^2 | 320,1335 |
(C5xC22:C4).56C22 = C10.672+ 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).56C2^2 | 320,1336 |
(C5xC22:C4).57C22 = C10.852- 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).57C2^2 | 320,1337 |
(C5xC22:C4).58C22 = C10.692+ 1+4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).58C2^2 | 320,1339 |
(C5xC22:C4).59C22 = C42.233D10 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).59C2^2 | 320,1340 |
(C5xC22:C4).60C22 = C42.137D10 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).60C2^2 | 320,1341 |
(C5xC22:C4).61C22 = C42.138D10 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).61C2^2 | 320,1342 |
(C5xC22:C4).62C22 = C42.139D10 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).62C2^2 | 320,1343 |
(C5xC22:C4).63C22 = C42.140D10 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).63C2^2 | 320,1344 |
(C5xC22:C4).64C22 = C42.141D10 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).64C2^2 | 320,1347 |
(C5xC22:C4).65C22 = Dic10:10D4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).65C2^2 | 320,1349 |
(C5xC22:C4).66C22 = C42.234D10 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).66C2^2 | 320,1352 |
(C5xC22:C4).67C22 = C42.143D10 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).67C2^2 | 320,1353 |
(C5xC22:C4).68C22 = C42.144D10 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).68C2^2 | 320,1354 |
(C5xC22:C4).69C22 = C42.145D10 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).69C2^2 | 320,1356 |
(C5xC22:C4).70C22 = C42.159D10 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).70C2^2 | 320,1373 |
(C5xC22:C4).71C22 = C42.160D10 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).71C2^2 | 320,1374 |
(C5xC22:C4).72C22 = D5xC42:2C2 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 80 | | (C5xC2^2:C4).72C2^2 | 320,1375 |
(C5xC22:C4).73C22 = C42:23D10 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 80 | | (C5xC2^2:C4).73C2^2 | 320,1376 |
(C5xC22:C4).74C22 = C42:24D10 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 80 | | (C5xC2^2:C4).74C2^2 | 320,1377 |
(C5xC22:C4).75C22 = C42.189D10 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).75C2^2 | 320,1378 |
(C5xC22:C4).76C22 = C42.161D10 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).76C2^2 | 320,1379 |
(C5xC22:C4).77C22 = C42.162D10 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).77C2^2 | 320,1380 |
(C5xC22:C4).78C22 = C42.163D10 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).78C2^2 | 320,1381 |
(C5xC22:C4).79C22 = C42.164D10 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).79C2^2 | 320,1382 |
(C5xC22:C4).80C22 = C42:25D10 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 80 | | (C5xC2^2:C4).80C2^2 | 320,1383 |
(C5xC22:C4).81C22 = C42.165D10 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).81C2^2 | 320,1384 |
(C5xC22:C4).82C22 = C23:C4:5D5 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 80 | 8- | (C5xC2^2:C4).82C2^2 | 320,367 |
(C5xC22:C4).83C22 = C5xC23.38C23 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).83C2^2 | 320,1538 |
(C5xC22:C4).84C22 = C5xC22.31C24 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).84C2^2 | 320,1539 |
(C5xC22:C4).85C22 = C5xC22.33C24 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).85C2^2 | 320,1541 |
(C5xC22:C4).86C22 = C5xC22.34C24 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).86C2^2 | 320,1542 |
(C5xC22:C4).87C22 = C5xD4:6D4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).87C2^2 | 320,1549 |
(C5xC22:C4).88C22 = C5xQ8:5D4 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).88C2^2 | 320,1550 |
(C5xC22:C4).89C22 = C5xC22.46C24 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).89C2^2 | 320,1554 |
(C5xC22:C4).90C22 = C5xC22.50C24 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).90C2^2 | 320,1558 |
(C5xC22:C4).91C22 = C5xC22.53C24 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).91C2^2 | 320,1561 |
(C5xC22:C4).92C22 = C5xC22.56C24 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).92C2^2 | 320,1564 |
(C5xC22:C4).93C22 = C5xC22.57C24 | φ: C22/C1 → C22 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).93C2^2 | 320,1565 |
(C5xC22:C4).94C22 = (C2xD20):25C4 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 80 | 4 | (C5xC2^2:C4).94C2^2 | 320,633 |
(C5xC22:C4).95C22 = C5xC23.C23 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 80 | 4 | (C5xC2^2:C4).95C2^2 | 320,911 |
(C5xC22:C4).96C22 = C2xDic5.14D4 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).96C2^2 | 320,1153 |
(C5xC22:C4).97C22 = C23:2Dic10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 80 | | (C5xC2^2:C4).97C2^2 | 320,1155 |
(C5xC22:C4).98C22 = C42.88D10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).98C2^2 | 320,1189 |
(C5xC22:C4).99C22 = C42.90D10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).99C2^2 | 320,1191 |
(C5xC22:C4).100C22 = C42:8D10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 80 | | (C5xC2^2:C4).100C2^2 | 320,1196 |
(C5xC22:C4).101C22 = C42:9D10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 80 | | (C5xC2^2:C4).101C2^2 | 320,1197 |
(C5xC22:C4).102C22 = C42.92D10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).102C2^2 | 320,1198 |
(C5xC22:C4).103C22 = D4xDic10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).103C2^2 | 320,1209 |
(C5xC22:C4).104C22 = D4:5Dic10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).104C2^2 | 320,1211 |
(C5xC22:C4).105C22 = D4:6Dic10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).105C2^2 | 320,1215 |
(C5xC22:C4).106C22 = D4:6D20 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).106C2^2 | 320,1227 |
(C5xC22:C4).107C22 = C42.118D10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).107C2^2 | 320,1236 |
(C5xC22:C4).108C22 = C2xC23.D10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).108C2^2 | 320,1154 |
(C5xC22:C4).109C22 = C24.30D10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 80 | | (C5xC2^2:C4).109C2^2 | 320,1166 |
(C5xC22:C4).110C22 = C24.31D10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 80 | | (C5xC2^2:C4).110C2^2 | 320,1167 |
(C5xC22:C4).111C22 = C42.89D10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).111C2^2 | 320,1190 |
(C5xC22:C4).112C22 = C42.93D10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).112C2^2 | 320,1200 |
(C5xC22:C4).113C22 = C42.94D10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).113C2^2 | 320,1201 |
(C5xC22:C4).114C22 = C42.95D10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).114C2^2 | 320,1202 |
(C5xC22:C4).115C22 = C42.97D10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).115C2^2 | 320,1204 |
(C5xC22:C4).116C22 = C42.98D10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).116C2^2 | 320,1205 |
(C5xC22:C4).117C22 = C42.99D10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).117C2^2 | 320,1206 |
(C5xC22:C4).118C22 = C42.100D10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).118C2^2 | 320,1207 |
(C5xC22:C4).119C22 = C42.102D10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).119C2^2 | 320,1210 |
(C5xC22:C4).120C22 = C42.106D10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).120C2^2 | 320,1214 |
(C5xC22:C4).121C22 = C42.228D10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).121C2^2 | 320,1220 |
(C5xC22:C4).122C22 = D20:24D4 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).122C2^2 | 320,1223 |
(C5xC22:C4).123C22 = Dic10:23D4 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).123C2^2 | 320,1224 |
(C5xC22:C4).124C22 = Dic10:24D4 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).124C2^2 | 320,1225 |
(C5xC22:C4).125C22 = C42.229D10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).125C2^2 | 320,1229 |
(C5xC22:C4).126C22 = C42.113D10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).126C2^2 | 320,1230 |
(C5xC22:C4).127C22 = C42.114D10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).127C2^2 | 320,1231 |
(C5xC22:C4).128C22 = C42.115D10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).128C2^2 | 320,1233 |
(C5xC22:C4).129C22 = C42.116D10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).129C2^2 | 320,1234 |
(C5xC22:C4).130C22 = C42.117D10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).130C2^2 | 320,1235 |
(C5xC22:C4).131C22 = C42.119D10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).131C2^2 | 320,1237 |
(C5xC22:C4).132C22 = C2xC23.11D10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).132C2^2 | 320,1152 |
(C5xC22:C4).133C22 = C42.87D10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).133C2^2 | 320,1188 |
(C5xC22:C4).134C22 = D5xC42:C2 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 80 | | (C5xC2^2:C4).134C2^2 | 320,1192 |
(C5xC22:C4).135C22 = C42:7D10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 80 | | (C5xC2^2:C4).135C2^2 | 320,1193 |
(C5xC22:C4).136C22 = C42.188D10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).136C2^2 | 320,1194 |
(C5xC22:C4).137C22 = C42.91D10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).137C2^2 | 320,1195 |
(C5xC22:C4).138C22 = C42:10D10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 80 | | (C5xC2^2:C4).138C2^2 | 320,1199 |
(C5xC22:C4).139C22 = C42.96D10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).139C2^2 | 320,1203 |
(C5xC22:C4).140C22 = C4xD4:2D5 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).140C2^2 | 320,1208 |
(C5xC22:C4).141C22 = C42.104D10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).141C2^2 | 320,1212 |
(C5xC22:C4).142C22 = C42.105D10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).142C2^2 | 320,1213 |
(C5xC22:C4).143C22 = C42.108D10 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).143C2^2 | 320,1218 |
(C5xC22:C4).144C22 = C10xC22:Q8 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).144C2^2 | 320,1525 |
(C5xC22:C4).145C22 = C10xC42:2C2 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).145C2^2 | 320,1530 |
(C5xC22:C4).146C22 = C5xC23.36C23 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).146C2^2 | 320,1531 |
(C5xC22:C4).147C22 = C5xC22.26C24 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).147C2^2 | 320,1534 |
(C5xC22:C4).148C22 = C5xC23.37C23 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).148C2^2 | 320,1535 |
(C5xC22:C4).149C22 = C5xC22.35C24 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).149C2^2 | 320,1543 |
(C5xC22:C4).150C22 = C5xC22.36C24 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).150C2^2 | 320,1544 |
(C5xC22:C4).151C22 = C5xC23:2Q8 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 80 | | (C5xC2^2:C4).151C2^2 | 320,1545 |
(C5xC22:C4).152C22 = C5xC23.41C23 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).152C2^2 | 320,1546 |
(C5xC22:C4).153C22 = C5xD4xQ8 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).153C2^2 | 320,1551 |
(C5xC22:C4).154C22 = C5xQ8:6D4 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).154C2^2 | 320,1552 |
(C5xC22:C4).155C22 = C5xC22.47C24 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).155C2^2 | 320,1555 |
(C5xC22:C4).156C22 = C5xD4:3Q8 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).156C2^2 | 320,1556 |
(C5xC22:C4).157C22 = C5xC22.49C24 | φ: C22/C2 → C2 ⊆ Out C5xC22:C4 | 160 | | (C5xC2^2:C4).157C2^2 | 320,1557 |
(C5xC22:C4).158C22 = C10xC42:C2 | φ: trivial image | 160 | | (C5xC2^2:C4).158C2^2 | 320,1516 |
(C5xC22:C4).159C22 = C4oD4xC20 | φ: trivial image | 160 | | (C5xC2^2:C4).159C2^2 | 320,1519 |
(C5xC22:C4).160C22 = C5xC23.32C23 | φ: trivial image | 160 | | (C5xC2^2:C4).160C2^2 | 320,1521 |
(C5xC22:C4).161C22 = C5xC23.33C23 | φ: trivial image | 160 | | (C5xC2^2:C4).161C2^2 | 320,1522 |